Mathematical Theory of Thermodynamics of Computation

We investigate a new research area: we are interested in the ultimate ther-modynamic cost of computing from x to y. Other than its fundamental importance , such research has potential implications in miniaturization of VLSI chips and applications in pattern recognition. It turns out that the theory of thermodynamic cost of computation can be axiomatically developed. Our fundamental theorem connects physics to mathematics , providing the key that makes such a theory possible. It establishes optimal upper and lower bounds on the ultimate thermodynamic cost of computation. By computing longer and longer, the amount of dissipated energy gets closer to these limits. In fact, one can trade time for energy: there is a provable time-energy trade-oo hierarchy. The fundamental theorem also induces a thermo-dynamic distance metric. The topological properties of this metric show that neighborhoods are sparse, and get even sparser if they are centered on random elements. The proofs use Symmetry of Information in a basic way. These notions also nd an application in pattern recognition. People have been looking without success for an objective notion of cognitive distance to account for the intuitive notion of`similarity' of pictures. Thermodynamic considerations lead to a recursively invariant notion of cognitive distances. It turns out that the thermodynamic distance is a universal cognitive distance which discovers all eeective features used by any cognitive distance whatsoever.